Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
91	Sample Paper for the amsmath Package File name: testmath.tex American Mathematical Society Version 2.0, Add to Reading List Source URL: mirror.easyname.at Language: English - Date: 1999-11-15 15:09:17 Logic in computer science Operator theory Ordinary differential equations Spectral theory Theorems and definitions in linear algebra Sturm–Liouville theory Mathematics Combinatory logic Lambda calculus
92	May 15, 2014 — Final version for proceedings of CSL-LICS 2014, extended with a 2-page appendix Symmetric Normalisation for Intuitionistic Logic Nicolas Guenot Lutz Straßburger Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-05-20 13:23:34 Mathematics Natural deduction Cut-elimination theorem Propositional calculus Sequent calculus Combinatory logic Linear logic Closed and exact differential forms Admissible rule Mathematical logic Logic Proof theory
93	Lisa Dieckmann Traumdramaturgie und Selbstreflexion Bildstrategien romantischer Traumdarstellungen im Spannungsfeld zeitgenössischer Traumtheorie und Ästhetik DOI: http://dx.doi.orgbab English Summary Add to Reading List Source URL: s3-eu-west-1.amazonaws.com Language: English - Date: 2015-04-16 06:31:21 Dream Moritz von Schwind Caspar David Friedrich Combinatory logic Iconography Mind European people Psychology Dramaturgy Theatre Aesthetics
94	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
95	Towards Proof Planning for M+ ω Carsten Sch¨ urmann Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-08-05 12:06:59 Deduction Logic Natural deduction Logic in computer science Lambda calculus Combinatory logic Mathematical logic Theoretical computer science Proof theory
96	Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-15 06:16:32 Lambda calculus Computability theory Fixed-point combinator Combinatory logic Sheaf Theoretical computer science Mathematics Applied mathematics
97	The Lazy Lambda Calculus Samson Abramsky Department of Computing Imperial College of Science and Technology March 6, 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:34 Applied mathematics Lambda calculus Computability theory Combinatory logic Spectral theory of ordinary differential equations Holomorphic functional calculus Mathematics Theoretical computer science Spectral theory
98	Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: . Add to Reading List Source URL: www.mathematicians.org.uk Language: English - Date: 2009-09-28 10:54:02 Mathematical logic Philosophy of mathematics Abstraction Axiology Mathematical proof Axiom Combinatory logic Natural deduction David Hilbert Mathematics Logic Knowledge
99	Science of Computer Programming ELSEVIER Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2008-03-25 21:14:46 Logic in computer science Algebraic structures Combinatory logic Function Axiom Cartesian closed category Group Sheaf Mathematics Lambda calculus Mathematical logic
100	Opis: Reliable Distributed Systems in OCaml ´ Pierre-Evariste Dagand Dejan Kosti´c Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-01-14 11:26:18 Computer programming Lambda calculus Logic in computer science Gossip protocol Network architecture Combinatory logic OCaml Peer-to-peer Chord Computing Distributed data storage Software